搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Proof Theory for Fuzzy Logics [electronic resource] 0 索取号：作者：Metcalfe、 George.、Olivetti、 Nicola.、Gabbay、 Dov.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2009.		The Research Mission of Higher Education Institutions outside the University Sector [electronic resource] : Striving for Differentiation 0 索取号：作者：Kyvik、 Svein.、Lepori、 Benedetto.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
	Desertification and Risk Analysis Using High and Medium Resolution Satellite Data [electronic resource] : Training Workshop on Mapping Desertification 0 索取号：作者：Marini、 Alberto.、Talbi、 Mohamed.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2009.		Autonomous Systems-Self-Organization, Management, and Control [electronic resource] : Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6鈥笠2008 0 索取号：作者：Mahr、 Bernd.、Huanye、 Sheng.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.
	Turbulence, Dynamos, Accretion Disks, Pulsars and Collective Plasma Processes [electronic resource] : First Kodai-Trieste Workshop on Plasma Astrophysics Held at the Kodaikanal Observatory Kodaikanal, India, August 27 鈥ӥptember 7, 2007 0 索取号：作者：Hasan、 S. S.、Gangadhara、 R. T.、Krishan、 V.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.		Russian Models from the Mechanisms Collection of Bauman University [electronic resource] 0 索取号：作者：Golovin、 A.、Tarabarin、 V.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.
	Integration of Insect-Resistant Genetically Modified Crops within IPM Programs [electronic resource] 0 索取号：作者：Romeis、 J枚rg.、Shelton、 Anthony M.、Kennedy、 George G.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.		Non-University Higher Education in Europe [electronic resource] 0 索取号：作者：Taylor、 James S.、Ferreira、 Jos茅 Brites.、Machado、 Maria de Lourdes.、Santiago、 Rui.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.
	Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems 0 索取号：作者：Carnielli、 Walter.、Coniglio、 Marcelo.、Gabbay、 Dov M.、Gouveia、 Paula.、Sernadas、 Cristina.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.		IUTAM Symposium on Computational Physics and New Perspectives in Turbulence [electronic resource] : Proceedings of the IUTAM Symposium on Computational Physics and New Perspectives in Turbulence, Nagoya University, Nagoya, Japan, September, 11-14, 2006 0 索取号：作者：Kaneda、 Yukio.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.
	New Narratives in Eighteenth-Century Chemistry [electronic resource] : Contributions from the First Francis Bacon Workshop, 21鈥ⳠApril 2005, California Institute of Technology, Pasadena, California 0 索取号：作者：Principe、 Lawrence M.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.		Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems [electronic resource] : Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 0 索取号：作者：Ramesh、 S.、Sampath、 Prahladavaradan.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.
	Multi-Carrier Spread Spectrum 2007 [electronic resource] : Proceedings from the 6th International Workshop on Multi-Carrier Spread Spectrum, May 2007, Herrsching, Germany 0 索取号：作者：Plass、 Simon.、Dammann、 Armin.、Kaiser、 Stefan.、Fazel、 Khaled.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.		University Dynamics and European Integration [electronic resource] 0 索取号：作者：Maassen、 Peter.、Olsen、 Johan P.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.
	Careers of University Graduates [electronic resource] : Views and Experiences in Comparative Perspectives 0 索取号：作者：Teichler、 Ulrich.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.		Climate Change and Energy Pathways for the Mediterranean [electronic resource] : Workshop Proceedings, Cyprus 0 索取号：作者：Moniz、 Ernest J.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.

	Proof Theory for Fuzzy Logics [electronic resource] 0 索取号：作者：Metcalfe、 George.、Olivetti、 Nicola.、Gabbay、 Dov.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2009.		The Research Mission of Higher Education Institutions outside the University Sector [electronic resource] : Striving for Differentiation 0 索取号：作者：Kyvik、 Svein.、Lepori、 Benedetto.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
	Desertification and Risk Analysis Using High and Medium Resolution Satellite Data [electronic resource] : Training Workshop on Mapping Desertification 0 索取号：作者：Marini、 Alberto.、Talbi、 Mohamed.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2009.		Autonomous Systems-Self-Organization, Management, and Control [electronic resource] : Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6鈥笠2008 0 索取号：作者：Mahr、 Bernd.、Huanye、 Sheng.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.
	Turbulence, Dynamos, Accretion Disks, Pulsars and Collective Plasma Processes [electronic resource] : First Kodai-Trieste Workshop on Plasma Astrophysics Held at the Kodaikanal Observatory Kodaikanal, India, August 27 鈥ӥptember 7, 2007 0 索取号：作者：Hasan、 S. S.、Gangadhara、 R. T.、Krishan、 V.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.		Russian Models from the Mechanisms Collection of Bauman University [electronic resource] 0 索取号：作者：Golovin、 A.、Tarabarin、 V.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.
	Integration of Insect-Resistant Genetically Modified Crops within IPM Programs [electronic resource] 0 索取号：作者：Romeis、 J枚rg.、Shelton、 Anthony M.、Kennedy、 George G.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.		Non-University Higher Education in Europe [electronic resource] 0 索取号：作者：Taylor、 James S.、Ferreira、 Jos茅 Brites.、Machado、 Maria de Lourdes.、Santiago、 Rui.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.
	Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems 0 索取号：作者：Carnielli、 Walter.、Coniglio、 Marcelo.、Gabbay、 Dov M.、Gouveia、 Paula.、Sernadas、 Cristina.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.		IUTAM Symposium on Computational Physics and New Perspectives in Turbulence [electronic resource] : Proceedings of the IUTAM Symposium on Computational Physics and New Perspectives in Turbulence, Nagoya University, Nagoya, Japan, September, 11-14, 2006 0 索取号：作者：Kaneda、 Yukio.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.
	New Narratives in Eighteenth-Century Chemistry [electronic resource] : Contributions from the First Francis Bacon Workshop, 21鈥ⳠApril 2005, California Institute of Technology, Pasadena, California 0 索取号：作者：Principe、 Lawrence M.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.		Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems [electronic resource] : Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 0 索取号：作者：Ramesh、 S.、Sampath、 Prahladavaradan.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.
	Multi-Carrier Spread Spectrum 2007 [electronic resource] : Proceedings from the 6th International Workshop on Multi-Carrier Spread Spectrum, May 2007, Herrsching, Germany 0 索取号：作者：Plass、 Simon.、Dammann、 Armin.、Kaiser、 Stefan.、Fazel、 Khaled.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.		University Dynamics and European Integration [electronic resource] 0 索取号：作者：Maassen、 Peter.、Olsen、 Johan P.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.
	Careers of University Graduates [electronic resource] : Views and Experiences in Comparative Perspectives 0 索取号：作者：Teichler、 Ulrich.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.		Climate Change and Energy Pathways for the Mediterranean [electronic resource] : Workshop Proceedings, Cyprus 0 索取号：作者：Moniz、 Ernest J.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.